Precise Software

Results: 89



#Item
51Science / Engineering / Parnas / Software engineer / Table / Documentation / Institute of Electrical and Electronics Engineers / Avionics software / David Parnas / Technology / Software engineering

[removed]Robert Stewart Distinguished Lecture Dr. David Parnas Precise Documentation: The Key to Better Software Thursday March 25, 2010

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2010-02-23 14:16:16
52Computing / Object Constraint Language / Object Management Group / Profile / Semantics / Class / Entity-relationship model / ECO / Modeling language / Unified Modeling Language / Software engineering / Data modeling

Response to UML 2.0 Request for Information Submitted by the precise UML group © December 1999 Tony Clark Andy Evans Robert France

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2003-02-04 09:56:29
53Accounting software / Microsoft Dynamics GP / Ledger / Microsoft FRx / Account / General ledger / Journal entry / Microsoft Dynamics / F9 Financial Reporting / Accountancy / Business / Finance

Financial Management BENEFITS General Ledger in Microsoft Dynamics GP Maintain precise focus with

Add to Reading List

Source URL: www.hrcom.com

Language: English - Date: 2009-06-30 18:00:08
54Vesta / Software development / Software engineering / System / Software development methodology / Software development process / Software / Planetary science / 4 Vesta

105 The Vesta Approach to Precise Con guration of Large Software Systems Roy Levin Paul R. McJones

Add to Reading List

Source URL: www.hpl.hp.com

Language: English - Date: 2007-10-21 18:29:46
55AutoCAD DXF / AutoCAD / Computer-aided design / Measurement / Software / Engineering / Autodesk / 3D graphics software / Metrology

Neovision s.r.o., Barrandova 409, [removed]Praha 4, Czech Republic Ing. Petr Palatka, Tel: +[removed], Fax: +[removed]aae-mail: [removed] URL: http://www.neovision.cz Precise optical measurement i

Add to Reading List

Source URL: www.neovision.cz

Language: English - Date: 2005-01-31 07:38:41
56Program analysis / Data types / Software testing / Abstract interpretation / Static program analysis / Patrick Cousot / Software verification / Type system / Polyspace / Software engineering / Programming language theory / Computing

Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed]

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:11:33
57Data types / Primitive types / Memory management / C++ / Static program analysis / Pointer / C / Data-flow analysis / Abstract interpretation / Computing / Software engineering / Computer programming

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet Guillaume Brat

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:17:58
58C Standard Library / Printf format string / Cross-platform software / Format / Printf / Patch / Circular buffer / Downtime / Transdermal patch / Computing / Software / System software

Finding Security Violations by Using Precise Sourcelevel Analysis !" $

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2005-04-22 04:32:36
59Parallel computing / Concurrency control / Threads / Application programming interfaces / Data-flow analysis / POSIX Threads / Critical section / OpenMP / Compiler optimization / Computing / Computer programming / Software engineering

Sound and Precise Analysis of Parallel Programs through Schedule Specialization Jingyue Wu Yang Tang

Add to Reading List

Source URL: systems.cs.columbia.edu

Language: English - Date: 2012-04-06 10:57:53
60Computing / Blog software / Facebook / Social information processing / Web 2.0 / Social networking service / Twitter / World Wide Web / Social media / Technology

How to navigate the maze of social media platforms and choose the

Add to Reading List

Source URL: www.precise.co.uk

Language: English - Date: 2014-05-01 06:36:03
UPDATE